Using Alloy in process modelling

نویسنده

  • Chris Wallace
چکیده

In this paper we examine the uses that the analysable language Alloy can play in Process modelling. We explore its application to descriptions of the organisation and its rules, to the description of processes and in the metamodelling of process models.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modelling and Numerical Simulation of Cutting Stress in End Milling of Titanium Alloy using Carbide Coated Tool

Based on the cutting force theory, the cutting stress in end milling operation was predicted satisfactorily through simulation of using finite element method. The mechanistic force models were introduced in high accuracy force predictions for most applications. The material properties in the simulations were defined based on the cutting force theory, as a function of strain and strain rate wher...

متن کامل

تحلیل ابعادی شکل دهی سازه نیم کُروی از آلیاژ تیتانیوم 4-6، به روش هیدرواستاتیک-سوپرپلاستیک

Experimental tests on superplastic forming of alloy Ti-6Al-4V with large dimensions can be quite difficult and expensive. In order to avoid the expense of manufacturing alloy sections, numerical modelling is used to simulate the alloy’s superplastic behaviour. However the results obtained from the numerical modelling need to be verified against experimental tests. In order to reduce the expense...

متن کامل

A hierarchical Mamdani-type fuzzy modelling approach with new training data selection and multi-objective optimisation mechanisms: A special application for the prediction of mechanical properties of alloy steels

In this paper, a systematic data-driven fuzzy modelling methodology is proposed, which allows to construct Mamdani fuzzy models considering both accuracy (precision) and transparency (interpretability) of fuzzy systems. The new methodology employs a fast hierarchical clustering algorithm to generate an initial fuzzy model efficiently; a training data selection mechanism is developed to identify...

متن کامل

Production of Cu-Cr-Zr Alloy Using Electro Slag Remelting Technique (RESEARCH NOTE)

This study focused on the effect of electro slag remelting process (ESR) on microstructure and composition of an as-cast alloy of Cu-Cr-Zr. These observations revealed that applying ESR process results in a more uniform distribution of alloying elements, however a slight aggregation of large precipitates and inclusions existed in as-cast ingot was found. Additionally, impurities like P, S and M...

متن کامل

Surface Activation of NiTi Alloy by Using Electrochemical Process for Biomimetic Deposition of Hydroxyapatite Coating (TECHNICAL NOTE)

Electrochemical depositions of calcium phosphate (Ca-P) film on NiTi alloy in concentrated simulated body flood (SBF×5) were carried out by cathodic polarization. The Ca-P layer was successfully deposited on Ni-Ti alloy substrate under 10mA/cm2 current density for 2 hours at room temperature. Then, in order to investigate the bioactivity of the pre-calcified samples, they were immersed in SBF f...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Information & Software Technology

دوره 45  شماره 

صفحات  -

تاریخ انتشار 2003